Mr. F. S. Smythe

T F S C

The concept of model transformations is of increasing importance in different areas of Computer Science, but up to now, there is a lack of common understanding concerning the mathematical and practical point of view. In this paper, we discuss some of the different aspects. Especially interesting is the new proposal of the POPL’07 keynote speaker Don Batory claiming that model transformations sh...

C . F . S . and

Abstract Purpose of the a Mr F

A major faci is being establis Standards (NBS provide extreme emulating a wide varilsty Bf rn typlcal of a small machine job shop. The control architecture adopted is hierarchical in nature and highly modular. The facility will be used for research on interface standards and metrology in an automated environment. The Congressional Acr e d n g up the National Bureau of Standards charges the Bure...

On weakly $mathfrak{F}_{s}$-quasinormal subgroups of finite groups

Let $mathfrak{F}$ be a formation and $G$ a finite group. A subgroup $H$ of $G$ is said to be weakly $mathfrak{F}_{s}$-quasinormal in $G$ if $G$ has an $S$-quasinormal subgroup $T$ such that $HT$ is $S$-quasinormal in $G$ and $(Hcap T)H_{G}/H_{G}leq Z_{mathfrak{F}}(G/H_{G})$, where $Z_{mathfrak{F}}(G/H_{G})$ denotes the $mathfrak{F}$-hypercenter of $G/H_{G}$. In this paper, we study the structur...

New separation between s ( f ) and bs ( f ) Andris

In this note we give a new separation between sensitivity and block sensitivity of Boolean functions: bs(f) = 23s(f) 2 − 13s(f).